Decision tree model - PDFSEARCH.IO - Document Search Engine

Decision tree model
Results: 142

#	Item
21	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
22	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
23	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
24	Using Relevance Queries for Identification of Read-Once Functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-02-16 12:55:16 Computational complexity theory Decision tree model Function FO Quantum algorithm Theoretical computer science Mathematics Applied mathematics
25	Algorithms Lecture 28: Lower Bounds [Fa’13] It was a Game called Yes and No, where Scrooge’s nephew had to think of something, and the rest must find out what; he only answering to their questions yes or no, as the Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:03:15 Analysis of algorithms Sorting algorithms Computational complexity theory Time complexity Decision tree model Binary search algorithm Algorithm Randomized algorithm Quicksort Theoretical computer science Mathematics Applied mathematics
26	Efficient Noise-Tolerant Learning from Statistical Queries MICHAEL KEARNS AT&T Laboratories—Research, Florham Park, New Jersey Abstract. In this paper, we study the problem of learning in the presence of classificatio Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-11 14:26:30 Mathematics Formal sciences Cybernetics Computational learning theory Pattern recognition Information theory Decision tree model PP Logarithm Theoretical computer science Applied mathematics Machine learning
27	Box-Trees and R-trees with Near-Optimal Query Time P. K. Agarwaly , M. de Bergz , J. Gudmundssonz, M. Hammarx , H. J. Haverkortz y Dept. of Computer Science, Box 90129, Duke University, Durham, NC, USA, panka Add to Reading List Source URL: webdoc.sub.gwdg.de Language: English - Date: 2006-04-25 01:39:06 Computer programming 3D computer graphics Bin K-d tree Bounding volume hierarchy Bounding volume Interval tree Decision tree model Spatial database R-tree Computing Data management
28	Vol. 377: 1–11, 2009 doi: meps07839 MARINE ECOLOGY PROGRESS SERIES Mar Ecol Prog Ser Add to Reading List Source URL: www.int-res.com Language: English Rugosity Logistic regression Akaike information criterion Regression Decision tree learning Economic model Statistics Regression analysis Stepwise regression
29	➠ ➡ Refining Segmental Boundaries for TTS Database Using Fine ContextualDependent Boundary Models Lijuan Wang1, Yong Zhao2, Min Chu2, Jianlai Zhou2 and Zhigang Cao1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-10 10:41:28 Segmentation Speech recognition Hidden Markov model Humanâ€“computer interaction Decision tree learning Speech synthesis Speech segmentation Computational linguistics Science Artificial intelligence